Formal systems - PDFSEARCH.IO - Document Search Engine

Formal systems
Results: 1365

#	Item
281	15th INTERNATIONAL CONFERENCE ON SYSTEMS RESEARCH, INFORMATICS & CYBERNETICS Add to Reading List Source URL: www.iias.edu Language: English - Date: 2011-10-12 13:47:20 Systems Systems science Nature Formal sciences Systems theory Engineering cybernetics Cybernetics Science Control theory
282	Keio University Thesis Abstract No. Registration Add to Reading List Source URL: www.flet.keio.ac.jp Language: English - Date: 2011-01-29 07:57:49 Logical syntax Formal languages Formal systems Logical truth Diagrammatic reasoning Mathematical proof Linear logic Formal proof Mathematical logic Logic Mathematics Proof theory
283	Big and Open data Position Paper Bid & Open Data position paper Add to Reading List Source URL: www-ai.cs.uni-dortmund.de Language: English Formal sciences Business intelligence Database management systems Database theory Parallel computing Apache Hadoop MapReduce Data mining Big data Computing Concurrent computing Data management
284	The World and the Machine Michael Jackson MAJ Consulting Ltd 101 Hamilton Terrace London NW8 9QX England Add to Reading List Source URL: mcs.open.ac.uk Language: English - Date: 2004-06-11 05:33:22 Software Software requirements Formal methods Software engineering Enterprise modelling Requirement Software development process Software design Mind Software development Systems engineering Science
285	Special Section: Call for Papers Announcing a Special Section in IEEE Access: Big Data Services and Computational Intelligence for Industrial Systems Submission Deadline: October 10, 2015 Add to Reading List Source URL: www.cybermatics.org Language: English - Date: 2015-04-08 20:51:16 Knowledge Data analysis Institute of Electrical and Electronics Engineers Statistics Analytics Data mining Computer science Machine learning Jacek M. Zurada Formal sciences Science Business intelligence
286	Group on Earth Observations Tenth Plenary Session – GEO-X Geneva, Switzerland, 15-16 January 2014 Item 6 - Formal Statements from Members and Participating Organizations on key events and activities IHO Statement Add to Reading List Source URL: www.earthobservations.org Language: English - Date: 2014-01-29 04:17:59 Earth Hydrography General Bathymetric Chart of the Oceans Remote sensing Navigation Bathymetric chart Bathymetry International Hydrographic Organization Global Earth Observation System of Systems Physical geography Oceanography Cartography
287	The Fixed String of Elementary Cellular Automata Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-06-20 13:21:04 Theoretical computer science Discrete mathematics Character encoding String L-system FO Formal languages Mathematics Combinatorics on words
288	Microsoft Word - Role16.doc Add to Reading List Source URL: mcs.open.ac.uk Language: English - Date: 2006-03-21 09:31:20 Software development Knowledge Formal methods Cybernetics System Systems science Abstraction Model checking Complexity Science Computing Programming paradigms
289	Microsoft Word - Devt11.doc Add to Reading List Source URL: mcs.open.ac.uk Language: English - Date: 2006-03-21 09:28:28 Cybernetics Software requirements Systems engineering Water transport infrastructure Mining equipment Sluice Gate Domain-specific language Formal specification Software development Technology Science
290	DATA QUALITY Case Study: Data Quality Lavastorm Analytics Engine assures data quality between operational systems RESULTS: Add to Reading List Source URL: www.lavastorm.com Language: English - Date: 2015-03-30 15:34:04 Customer experience management Formal sciences Business intelligence Electronic commerce Lavastorm Customer relationship management Customer experience Data quality Analytics Marketing Business Technology

UPDATE